Formal Decomposition Method and Parametric Normal Forms
نویسندگان
چکیده
We introduce a formal decomposition method for efficiently computing the parametric normal form of nonlinear dynamical systems with multiple parameters. Recently introduced notions of formal basis style and costyle are applied through formal decomposition method to obtain the simplest parametric normal form for degenerate nonlinear parametric center. The necessary formulas are derived and implemented using Maple to compute the simplest parametric normal form of degenerate and nondegenerate nonlinear centers. Our program computes the order of any planar parametric systems associated with this singularity.
منابع مشابه
Normal forms of Hopf Singularities: Focus Values Along with some Applications in Physics
This paper aims to introduce the original ideas of normal form theory and bifurcation analysis and control of small amplitude limit cycles in a non-technical terms so that it would be comprehensible to wide ranges of Persian speaking engineers and physicists. The history of normal form goes back to more than one hundreds ago, that is to the original ideas coming from Henry Poincare. This tool p...
متن کاملOrbital Normal Forms for a family of-zero Singularity
Consider a Dynamical system x'=F(x,µ) such that its linear part has a pair of imaginary eigenvalues and one zero eigenvalue (Hopf zero singularity). Recently, the simplest normal form for this singular system has been obtained by sl(2) Lie algebra theory and the decomposition of space into three invariant subspaces. The normal form of this singular system is divided into three general cases. In...
متن کاملA new method for solving two-dimensional fuzzy Fredholm integral equations of the second kind
In this work, we introduce a novel method for solving two-dimensional fuzzy Fredholm integral equations of the second kind (2D-FFIE-2). We use new representation of parametric form of fuzzy numbers and convert a two-dimensional fuzzy Fredholm integral equation to system of two-dimensional Fredholm integral equations of the second kind in crisp case. We can use Adomian decomposition method for n...
متن کاملLogical Verification and Systematic Parametric Analysis in Train Control
We formally verify hybrid safety properties of cooperation protocols in a fully parametric version of the European Train Control System (ETCS). We present a formal model using hybrid programs and verify correctness using our logic-based decomposition procedure. This procedure supports free parameters and parameter discovery, which is required to determine correct design choices for free paramet...
متن کاملConvex Decomposition And Efficient Shape Representation Using Deformable Convex Polytopes
Decomposition of shapes into (approximate) convex parts is essential for applications such as part-based shape representation, shape matching, and collision detection. In this paper, we propose a novel convex decomposition using a parametric implicit shape model called Disjunctive Normal Shape Model (DNSM). The DNSM is formed as a union of polytopes which themselves are formed by intersections ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- I. J. Bifurcation and Chaos
دوره 20 شماره
صفحات -
تاریخ انتشار 2010